1961. Symbolic logic;an introductory textbook for non-mathematicians
Author: Lee
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
135
.
L38
1962. Symbolic logic and intelligent machines . English
Author: Edmund Callis Berkeley
Library: Iranology Foundation Library (Tehran)
Subject: Artificial intelligence,Logic, Symbolic and mathematical
Classification :
QA
76
.
B42
1961
1963. Symbolic logic and mechanical theorem proving
Author: Chin-Liang Chang, Richard Char-Tung Lee,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
Classification :
QA
.
C483
9
1987
1964. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin-Liang,7391-, Chin-Liang Chang, Richard Char-Tung Lee
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1965. Symbolic logic and the real number system; an introduction to the foundations of number systems
Author: Lightstone, A H
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Arithmetic -- Foundations,، Logic, Symbolic and mathematical
Classification :
QA
255
.
L55
1966. Symbolic-numeric computation
Author: / Dongming Wang, Lihong Zhi, editors
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computable functions--Data processing--Congresses,Numerical analysis--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
9
.
59
,.
S96
,
2007
1967. Sympolic Logic
Author: / [by] Irving M. copi,Copi
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
135
.
C58
1979
1968. Systems of logic
Author: Norman M. Martin
Library: Library of Faculty Foreign Languages and Literature of University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
BC
135
.
M325
1989
1969. Systems of logic /
Author: Norman M. Martin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic.,Logik,Logique.,Symbolische logica.
Classification :
BC135
.
M325
1989
1970. THE LOGIC BOOK /
Author: MERRIE BERGMANN, Smith College, Emerita, JAMES MOOR, Dartmouth College, JACK NELSON
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical,Predicate (Logic)
Classification :
BC135
.
B435
2014
1971. Technical methods in philosophy /
Author: John L. Pollock.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: First-order logic.,Logic, Symbolic and mathematical.,Metatheory.,Predicate calculus.,Set theory.,Filosofie.,First-order logic.,First-order logic.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Mathematische Logik,Metatheory.,Metatheory.,Predicate calculus.,Predicate calculus.,Predicatenlogica.,Satz,Set theory.,Set theory.,Theorie,Verzamelingen (wiskunde)
Classification :
BC135
.
P683
1990
1972. Techniques of deductive inference
Author: LEBLANCE,HUGUES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: LOGIC,SYMBOLIC & MATHEMATICAL
Classification :
BC
135
.
L36
1973. Temporal logic
پدیدآورنده : [by] Nicholas Rescher and Alasdair Urquhart
موضوع : Logic, Symbolic and mathematical,Time,Modality (Logic)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
1974. Temporal logic and state systems
Author: Kroger, Fred, 5491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4K76
1975. Temporal logic and state systems
Author: Kroger, Fred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
K76
2008
1976. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
Author: Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
827
1977. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
Classification :
QA
76
.
6
.
T4414
1994
1978. Temporal logic: from ancient ideas to artificial intelligence
Author: Ohrstrom, Peter.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
Classification :
BC
199
.
T4
.
O37
1995
1979. Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : Proceedings
Author: B. Banieqbal, H. Barringer, A. Pnueli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، System design,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
398
1980. Temporal logic in specification: Altrincham, UK, April 8-10, 1987: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
.
T42
1989
